ROVERI, MARCO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Strong temporal planning with uncontrollable durations

Cimatti, Alessandro, Do, Minh, Micheli, Andrea, Roveri, Marco, Smith, David E.

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

2

[IEEE 2020 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - Dubrovnik, Croatia (2020.5.25-2020.5.28)] 2020 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - Corrosion Prediction in Oil and Gas Pipelines: a Machine Learning Approach

Canonaco, Giuseppe, Roveri, Manuel, Alippi, Cesare, Podenzani, Fabrizio, Bennardo, Antonio, Conti, Marco, Mancini, Nicola

Year:

2020

File:

PDF, 777 KB

2020

3

A Record of the Messinian Salinity Crisis in the Eastern Ionian Tectonically Active Domain (Greece, Eastern Mediterranean)

Karakitsios, Vasileios, Roveri, Marco, Lugli, Stefano, Manzi, Vinicio, Gennari, Rocco, Antonarakou, Assimina, Triantaphyllou, Maria, Agiadi, Konstantina, Kontakiotis, George, Kafousia, Nefeli, de Rafe

Journal:

Year:

2015

Language:

english

File:

PDF, 13.11 MB

english, 2015

4

The Messinian salinity crisis in Cyprus: a further step towards a new stratigraphic framework for Eastern Mediterranean

Manzi, Vinicio, Lugli, Stefano, Roveri, Marco, Dela Pierre, Francesco, Gennari, Rocco, Lozar, Francesca, Natalicchio, Marcello, Schreiber, B. Charlotte, Taviani, Marco, Turco, Elena

Journal:

Year:

2016

Language:

english

File:

PDF, 19.54 MB

english, 2016

5

The Messinian salinity crisis: open problems and possible implications for Mediterranean petroleum systems

Roveri, Marco, Gennari, Rocco, Lugli, Stefano, Manzi, Vinicio, Minelli, Nicola, Reghizzi, Matteo, Riva, Angelo, Rossi, Massimo E., Schreiber, B. Charlotte

Journal:

Petroleum Geoscience

Year:

2016

Language:

english

File:

PDF, 2.52 MB

english, 2016

6

Strong planning under partial observability

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

Journal:

Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 2.45 MB

english, 2006

7

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, Marco Roveri

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 355 KB

english, 2000

8

“Earliest Zanclean age for the Colombacci and uppermost Di Tetto formations of the « latest Messinian » northern Apennines: New palaeoenvironmental data from the Maccarone section (Marche Province, Italy)” by Popescu et al. (2007) Geobios 40 (359–373)

Marco Roveri, Adele Bertini, Paola Cipollari, Domenico Cosentino, Agata Di Stefano, Fabio Florindo, Rocco Gennari, Elsa Gliozzi, Francesco Grossi, Silvia Iaccarino, Stefano Lugli, Vinicio Manzi

Journal:

Year:

2008

File:

PDF, 160 KB

2008

9

Tectonic and climatic control on the Late Messinian sedimentary evolution of the Nijar Basin (Betic Cordillera, Southern Spain)

Silvia Omodeo Salé, Rocco Gennari, Stefano Lugli, Vinicio Manzi, Marco Roveri

Journal:

Year:

2012

Language:

english

File:

PDF, 1.82 MB

english, 2012

10

[IEEE 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Anaheim, FL, USA (2010.06.10-2010.06.12)] 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Semi-formal functional verification by EFSM traversing via NuSMV

Di Guglielmo, Giuseppe, Fummi, Franco, Pravadelli, Graziano, Soffia, Stefano, Roveri, Marco

Year:

2010

Language:

english

File:

PDF, 561 KB

english, 2010

11

The Messinian Salinity Crisis: Past and future of a great challenge for marine sciences

Roveri, Marco, Flecker, Rachel, Krijgsman, Wout, Lofi, Johanna, Lugli, Stefano, Manzi, Vinicio, Sierro, Francisco J., Bertini, Adele, Camerlenghi, Angelo, De Lange, Gert, Govers, Rob, Hilgen, Frits J.

Journal:

Year:

2014

Language:

english

File:

PDF, 8.50 MB

english, 2014

12

Spacecraft early design validation using formal methods

Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Katsaros, Panagiotis, Mokos, Konstantinos, Nguyen, Viet Yen, Noll, Thomas, Postma, Bart, Roveri, Marco

Journal:

Reliability Engineering & System Safety

Year:

2014

Language:

english

File:

PDF, 2.48 MB

english, 2014

13

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

14

The deep record of the Messinian salinity crisis: Evidence of a non-desiccated Mediterranean Sea

Lugli, Stefano, Manzi, Vinicio, Roveri, Marco, Schreiber, B. Charlotte

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2015

Language:

english

File:

PDF, 16.38 MB

english, 2015

15

An X-ray spectroscopic perspective on Messinian evaporite from Sicily: Sedimentary fabrics, element distributions, and chemical environments of S and Mg

Yoshimura, Toshihiro, Kuroda, Junichiro, Lugli, Stefano, Tamenori, Yusuke, Ogawa, Nanako O., Jiménez-Espejo, Francisco J., Isaji, Yuta, Roveri, Marco, Manzi, Vinicio, Kawahata, Hodaka, Ohkouchi, Naohi

Journal:

Geochemistry, Geophysics, Geosystems

Year:

2016

Language:

english

File:

PDF, 10.48 MB

english, 2016

16

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 436 KB

english, 2018

17

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Towards a Taxonomy of Microservices Architectures

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 629 KB

english, 2018

18

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || What Belongs to Context?

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 249 KB

english, 2018

19

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Student Performance Prediction and Optimal Course Selection: An MDP Approach

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 751 KB

english, 2018

20

A new chronostratigraphic and palaeoenvironmental framework for the end of the Messinian salinity crisis in the Sorbas Basin (Betic Cordillera, southern Spain)

Roveri, Marco, Gennari, Rocco, Persico, Davide, Rossi, Francesco Paolo, Lugli, Stefano, Manzi, Vinicio, Reghizzi, Matteo, Taviani, Marco, Wang, Xiang-dong

Journal:

Geological Journal

Year:

2018

Language:

english

File:

PDF, 2.02 MB

english, 2018

21

Diazotrophy Drives Primary Production in the Organic-Rich Shales Deposited Under a Stratified Environment During the Messinian Salinity Crisis (Vena del Gesso, Italy)

Isaji, Yuta, Kawahata, Hodaka, Takano, Yoshinori, Ogawa, Nanako O., Kuroda, Junichiro, Yoshimura, Toshihiro, Lugli, Stefano, Manzi, Vinicio, Roveri, Marco, Ohkouchi, Naohiko

Journal:

Frontiers in Earth Science

Year:

2019

Language:

english

File:

PDF, 3.12 MB

english, 2019

22

Biomarker records and mineral compositions of the Messinian halite and K–Mg salts from Sicily

Isaji, Yuta, Yoshimura, Toshihiro, Kuroda, Junichiro, Tamenori, Yusuke, Jiménez-Espejo, Francisco J., Lugli, Stefano, Manzi, Vinicio, Roveri, Marco, Kawahata, Hodaka, Ohkouchi, Naohiko

Journal:

Progress in Earth and Planetary Science

Year:

2019

Language:

english

File:

PDF, 6.40 MB

english, 2019

23

Switching structures for ATM

Marco Listanti, Aldo Roveri

Journal:

Computer Communications

Year:

1989

Language:

english

File:

PDF, 943 KB

english, 1989

24

Requirements-Driven Verification of Web Services

Marco Pistore, Marco Roveri, Paolo Busetta

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 295 KB

english, 2004

25

Preface

Roderick Bloem, Marco Roveri, Fabio Somenzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

26

Paleoenvironmental significance of Messinian post-evaporitic lacustrine carbonates in the northern Apennines, Italy

Maria Angela Bassetti, Vinicio Manzi, Stefano Lugli, Marco Roveri, Antonio Longinelli, Franco Ricci Lucchi, Mario Barbieri

Journal:

Sedimentary Geology

Year:

2004

Language:

english

File:

PDF, 1.23 MB

english, 2004

27

Calcarenite and sapropel deposition in the Mediterranean Pliocene: shallow- and deep-water record of astronomically driven climatic events

Marco Roveri, Marco Taviani

Journal:

Year:

2003

Language:

english

File:

PDF, 370 KB

english, 2003

28

Specifying and analyzing early requirements in Tropos

Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, Marco Roveri, Paolo Traverso

Journal:

Requirements Engineering

Year:

2004

Language:

english

File:

PDF, 745 KB

english, 2004

29

Formalizing requirements with object models and temporal constraints

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 549 KB

english, 2011

30

Geometries of Gilbert-type deltas and large channels in the Meteora Conglomerate, Meso-Hellenic basin (Oligo-Miocene), central Greece

GIAN GABRIELE ORI, MARCO ROVERI

Journal:

Sedimentology (Wiley)

Year:

1987

Language:

english

File:

PDF, 3.76 MB

english, 1987

31

Deep-water clastic evaporites deposition in the Messinian Adriatic foredeep (northern Apennines, Italy): did the Mediterranean ever dry out?

VINICIO MANZI, STEFANO LUGLI, FRANCO RICCI LUCCHI, MARCO ROVERI

Journal:

Sedimentology (Wiley)

Year:

2005

Language:

english

File:

PDF, 3.59 MB

english, 2005

32

A new facies model for the Upper Gypsum of Sicily (Italy): chronological and palaeoenvironmental constraints for the Messinian salinity crisis in the Mediterranean

VINICIO MANZI, STEFANO LUGLI, Marco ROVERI, B. CHARLOTTE SCHREIBER

Journal:

Sedimentology (Wiley)

Year:

2009

Language:

english

File:

PDF, 3.83 MB

english, 2009

33

The Messinian Sicilian stratigraphy revisited: new insights for the Messinian salinity crisis

Marco Roveri, Stefano Lugli, Vinicio Manzi, B. Charlotte Schreiber

Journal:

Year:

2008

Language:

english

File:

PDF, 647 KB

english, 2008

34

Integrated services digital networks: Broadband networks

Marco Listanti, Aldo Roveri

Journal:

Transactions on Emerging Telecommunications Technologies

Year:

1991

Language:

english

File:

PDF, 1.71 MB

english, 1991

35

The deep-water counterpart of the Messinian Lower Evaporites in the Apennine foredeep: The Fanantello section (Northern Apennines, Italy)

Vinicio Manzi, Marco Roveri, Rocco Gennari, Adele Bertini, Ulderico Biffi, Simona Giunta, Silvia Maria Iaccarino, Luca Lanci, Stefano Lugli, Alessandra Negri, Angelo Riva, Massimo Edoardo Rossi, Marco

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2007

Language:

english

File:

PDF, 4.77 MB

english, 2007

36

The Primary Lower Gypsum in the Mediterranean: A new facies interpretation for the first stage of the Messinian salinity crisis

Lugli Stefano, Manzi Vinicio, Roveri Marco, Schreiber B. Charlotte

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2010

Language:

english

File:

PDF, 5.33 MB

english, 2010

37

The record of the Messinian salinity crisis in the Tertiary Piedmont Basin (NW Italy): The Alba section revisited

Francesco Dela Pierre, Elisa Bernardi, Simona Cavagna, Pierangelo Clari, Rocco Gennari, Andrea Irace, Francesca Lozar, Stefano Lugli, Vinicio Manzi, Marcello Natalicchio, Marco Roveri, Donata Violanti

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2011

Language:

english

File:

PDF, 4.95 MB

english, 2011

38

Messinian carbonate-rich beds of the Tertiary Piedmont Basin (NW Italy): Microbially-mediated products straddling the onset of the salinity crisis

Francesco Dela Pierre, Pierangelo Clari, Elisa Bernardi, Marcello Natalicchio, Emanuele Costa, Simona Cavagna, Francesca Lozar, Stefano Lugli, Vinicio Manzi, Marco Roveri, Donata Violanti

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2012

Language:

english

File:

PDF, 4.46 MB

english, 2012

39

Smart delivery of antitumoral platinum complexes from biomimetic hydroxyapatite nanocrystals

Iafisco, Michele, Palazzo, Barbara, Marchetti, Marco, Margiotta, Nicola, Ostuni, Rosa, Natile, Giovanni, Morpurgo, Margherita, Gandin, Valentina, Marzano, Cristina, Roveri, Norberto

Journal:

Journal of Materials Chemistry

Year:

2009

Language:

english

File:

PDF, 435 KB

english, 2009

40

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6371 || Developing Mode-Rich Satellite Software by Refinement in Event B

Kowalewski, Stefan, Roveri, Marco

Year:

2010

Language:

english

File:

PDF, 453 KB

english, 2010

41

Synthetic Biomimetic Carbonate-Hydroxyapatite Nanocrystals for Enamel Remineralization

Roveri, Norberto, Battistella, Elisa, Foltran, Ismaela, Foresti, Elisabetta, Iafisco, Michele, Lelli, Marco, Palazzo, Barbara, Rimondini, Lia

Journal:

Advanced Materials Research

Year:

2008

Language:

english

File:

PDF, 1.29 MB

english, 2008

42

Quantitative label-free redox proteomics of reversible cysteine oxidation in red blood cell membranes

Zaccarin, Mattia, Falda, Marco, Roveri, Antonella, Bosello-Travain, Valentina, Bordin, Luciana, Maiorino, Matilde, Ursini, Fulvio, Toppo, Stefano

Journal:

Free Radical Biology and Medicine

Year:

2014

Language:

english

File:

PDF, 1.31 MB

english, 2014

43

Events of interest

Roveri, Marco, Flecker, Rachel, Krijgsman, Wout, Lofi, Johanna, Lugli, Stefano, Manzi, Vinicio, Sierro, Francisco J., Bertini, Adele, Camerlenghi, Angelo, De Lange, Gert, Govers, Rob, Hilgen, Frits J.

Journal:

Journal of Vascular Surgery

Year:

1994

Language:

english

File:

PDF, 91 KB

english, 1994

44

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

Alpuente, María, Joubert, Christophe, Kowalewski, Stefan, Roveri, Marco

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 167 KB

english, 2013

45

High-resolution strontium isotope stratigraphy of the Messinian deep Mediterranean basins: Implications for marginal to central basins correlation

Roveri, Marco, Lugli, Stefano, Manzi, Vinicio, Gennari, Rocco, Schreiber, B. Charlotte

Journal:

Year:

2014

Language:

english

File:

PDF, 3.45 MB

english, 2014

46

[Lecture Notes in Computer Science] Quality of Service in Multiservice IP Networks Volume 2601 || A Probing Approach for Effective Distributed Resource Reservation

Marsan, Marco Ajmone, Corazza, Giorgio, Listanti, Marco, Roveri, Aldo

Year:

2003

Language:

english

File:

PDF, 342 KB

english, 2003

47

Silica Gel Template for Calcium Phosphates Crystallization

Iafisco, Michele, Marchetti, Marco, Gómez Morales, Jaime, Hernández-Hernández, María Angeles, García Ruiz, Juan Manuel, Roveri, Norberto

Journal:

Crystal Growth & Design

Year:

2009

Language:

english

File:

PDF, 2.28 MB

english, 2009

48

Validation of requirements for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 727 KB

english, 2012

49

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Structure-aware computation of predicate abstraction

Cimatti, Alessandro, Dubrovin, Jori, Junttila, Tommi, Roveri, Marco

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

50

Reconstruction of the Northern and Central Apennines (Italy) palaeoaltitudes during the late Neogene from pollen data

Fauquette, Séverine, Bertini, Adele, Manzi, Vinicio, Roveri, Marco, Argnani, Andrea, Menichetti, Elena

Journal:

Review of Palaeobotany and Palynology

Year:

2015

Language:

english

File:

PDF, 4.47 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски